Electronic communications

Communications in Electronic Textile Systems

Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system merges textile and electronic technologies. This paper studies the communication requirements between the computing and sensing elements of an e-textile. This communication is studied through the construction of a prototy...

Electronic Communications of the EASST

Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversio...

Security, Liberty, and Electronic Communications

Dedicated to the memory of Dorrie Weiss.

Electronic Communications of the EASST

In this paper we present a fully symbolic TCTL model checking algorithm for incomplete timed systems. Our algorithm is able to prove that a TCTL property is violated or satisfied regardless of the implementation of unknown timed components in the system. For that purpose the algorithm computes overapproximations of sets of states fulfilling a TCTL property φ for at least one implementation of t...

Electronic Communications of the EASST